alonzo church中文是什么意思

• 阿隆佐·邱奇

• "alonzo babers" 中文翻译 :    阿朗佐·巴伯斯
• "alonzo bradley" 中文翻译 :    阿朗佐·布拉德利
• "alonzo gee" 中文翻译 :    阿朗佐·吉
• "alonzo mourning" 中文翻译 :    阿朗佐·莫宁
• "alonzo russell" 中文翻译 :    阿隆佐·罗素
• "(10343) church" 中文翻译 :    小行星10343
• "broad church" 中文翻译 :    广派教会
• "charlotte church" 中文翻译 :    夏洛蒂·澈奇
• "church (iowa)" 中文翻译 :    彻奇 (艾奥瓦州)
• "church stretton" 中文翻译 :    彻奇斯特雷顿
• "commission church" 中文翻译 :    丘奇委员会
• "ellen church" 中文翻译 :    艾伦·丘奇
• "falls church" 中文翻译 :    瀑布教堂 (维吉尼亚州)
• "frank church" 中文翻译 :    弗兰克·丘奇
• "lakewood church" 中文翻译 :    湖木教会
• "mr. church" 中文翻译 :    丘奇先生
• "riverside church" 中文翻译 :    河滨教堂
• "saddleback church" 中文翻译 :    马鞍峰教会
• "simon church" 中文翻译 :    西蒙·切尔奇
• "trinity church" 中文翻译 :    三一教堂 (纽约)
• "(11626) church stretton" 中文翻译 :    小行星11626
• "angelica schuyler church" 中文翻译 :    安杰莉卡·斯凯勒·丘奇
• "apostolic faith church" 中文翻译 :    使徒信心会
• "benjamin church (militaire)" 中文翻译 :    班傑明·丘奇
• "alonte" 中文翻译 :    阿隆泰
• "alonsotegi" 中文翻译 :    阿隆索特希

• Les fonctions λ-définissables avait été introduites par Alonzo Church et Stephen Kleene (Church 1932, 1936a, 1941, Kleene 1935) et les fonctions récursives avaient été introduites par Kurt Gödel et Jacques Herbrand (Gödel 1934, Herbrand 1932).
  Lambda可定义函数由阿隆佐·邱奇和斯蒂芬·克莱尼（Church 1932, 1936a, 1941, Kleene 1935）提出，而递归函数由库尔特·哥德尔（Kurt Gödel）和雅克·埃尔布朗（Jacques Herbrand，Gödel 1934, Herbrand 1932）提出。